Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
111	Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method Duygu C ¸ akmak, Halit Erdo˘gan, and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, Istanbul, Turke Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 00:29:12 Mathematics Equations Algorithm Mathematical logic Theoretical computer science Equation solving Abstraction Philosophy of mathematics
112	Beyond Knights and Knaves Christine T. Cheng1 , Andrew McConvey2,⋆ , Drew Onderko1,⋆ , Nathaniel Shar3,⋆ , and Charles Tomlinson4 1 Department of Computer Science, University of Wisconsin-Milwaukee, Milwaukee, Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2013-03-08 22:21:12 Logic puzzles Knights and Knaves
113	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2016-04-13 07:07:15 Engineering Academia Science and technology Algorithm Mathematical logic Theoretical computer science Computer science Programming language Artificial neural network Analysis Outline of computer science Shaikh College of Engineering and Technology
114	C:uments and SettingsnDocumentsicless rationality consist in responding correctly to reasonss rationali Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2007-08-31 03:24:08 Philosophy Epistemology Cognitive science Philosophy of mind Autonomy Philosophical logic Philosophy of psychology Rationality Irrationality Reason Belief Internalism and externalism
115	Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549 Add to Reading List Source URL: satprepget800.com Language: English - Date: 2016-06-13 13:02:27 Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy
116	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
117	Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran Add to Reading List Source URL: ipg.idsia.ch Language: English - Date: 2016-05-24 15:35:25 Mathematics Logic Model theory Abstraction Limit Interpretation IP Bayesian network Static single assignment form Symbol Expected value Linear temporal logic
118	C:uments and SettingsoomeDocumentsiclese or narrow scopee or narrow scope.wpd Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2006-09-07 13:09:54 Philosophy Logic Cognitive science Philosophical logic Epistemology Rational choice theory Autonomy Philosophy of mind Rationality Isought problem Reason Modal logic
119	GeoInformatica 6:2, 99±121, 2002 # 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Vagueness and Rough Location THOMAS BITTNER Department of Computer Science, Northwestern University, USA Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:06:48 Philosophy Logic Metaphysics Ontology Philosophy of language Semantics Cartography Geography Spatial analysis Mereology Indeterminacy Vagueness
120	The Day After The Day Of The Experts. Add to Reading List Source URL: www.humanamente.eu Language: English - Date: 2015-10-12 08:44:35 Philosophy Logic Charles Sanders Peirce Critical thinking Reasoning Epistemology Pragmatism Expert Reason Competence Argument Science

UPDATE